function checkOptions() {
    var options = document.getElementById("fix_repairer");
    var selected = options.options[options.selectedIndex].value;
    if (selected == "none") {
        alert("请指派一位维修员")
        return false;
    } 
}